منطق عمل در فلسفه

منطق عمل در فلسفه

چکیده: در این تحقیق بر آنیم که دید کلی مختصری از منطق عمل را در شاخه های فلسفه،زبان شناسی، علم کامپیوتر و هوش مصنوعی ارائه دهیم. منطق عمل مطالعه صوری عمل توسط مهمترین ابزار تحلیل، یعنی زبان های صوری است. در فلسفه از آغازعمل به خاطر معرفت شناسی و مخصوصاٌ اخلاق با اهمیت قلمداد شده است و در چند دهد گذشته عمل فقط به خاطر خودش مورد مطالعه قرار گرفته است. اما در منطق عمل با روشی بسیار انتزاعی عمل مورد مطالعه قرار میگیرد. منطق عمل همچنین نقشی محوری در زبان شناسی ، علم کامپیوتر و هوش مصنوعی بازی میکند. هدف ما جدا سازی این توسعه ها در این شاخه های مختلف است. آنسلم قدیس مفهوم عمل را به روشی که قابل صورتبندی منطقی است مورد مطالعه قرار داده است. در دوره جدید این مفهوم بیشتر توسص ای افراد مطرح شده است: فیچ  ، کنگر  ، فون رایت  ؛ کار کنگر توسط شاگردانش یعنی پورن  ، لیندال  گسترش یافت. اولین دلالت شناسی روشن توسط چلاس  ارائه شد. امروزه دو دسته تئوری مختلف تحت  نام منطق عمل شرح و بسط داده میشود. اولی حاصل تلاش بلنپ  وشاگردانش است که تئوری stit نامیده میشود و دیگری منطق پویا است. هر دو به نحوی به متطق موجهات مربوط اند؛تئوری stit توسط فیلسوفان سنتی منطق موجهات رشد نمود اما منطق پویا توسط دانشمندان کامپیوتر برای تحلیل عمل کامپیوتر ابداع شد. تفاوت اصلی میان این دو در این است که در تئوریstit اعمال بطور مستقیم مورد مطالعه واقع نمیشوند( این هستی شناسی اعمال را بطور دسته به رسمیت نمیشناسد) اما در منطق پویا چنین است. 

...

فرمت فایل: DOCX word (قابل ویرایش) تعداد صفحات: 8

برای دانلود فایل اینجا کلیک کنید